Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
arxiv.orgยท2d
๐Async Runtimes
Flag this post
Conquering Complexity: Parallel Proof Search for Superhuman AI by Arvind Sundararajan
๐ญProgram Synthesis
Flag this post
Show HN: Mathematical parameter selection to eliminate synchronization bugs
๐Vector Clocks
Flag this post
Types of systems that could be useful for agent foundations
lesswrong.comยท2d
๐Concurrency Models
Flag this post
I'm building a language that compiles Haskell-style Monads and RAII down to high-performance C. I call it Cicili
ฮปFunctional Programming
Flag this post
Structured Output Generation in LLMs: JSON Schema and Grammar-Based Decoding
pub.towardsai.netยท1d
๐ณTree-sitter
Flag this post
November 2025 Short-Term Q3 Project Updates
clojuriststogether.orgยท2d
๐ฑNom
Flag this post
Cracking the Code: Automated Theorem Proving and the Rise of Verifiable AI
๐งฎSMT Solvers
Flag this post
Christoph Breitkopf: Interval Tables in Common Lisp
bokesan.blogspot.comยท2d
๐Type Theory
Flag this post
Two Hours to Find a Swapped String
๐Type Theory
Flag this post
Bridging the Abstraction Gap: Formalizing Complex Systems with AI by Arvind Sundararajan
๐ญProgram Synthesis
Flag this post
I tested GPT-5.1 Codex against Sonnet 4.5, and it's about time Anthropic bros take pricing seriously.
๐ฆFolly
Flag this post
ML Systems Textbook by Havard
๐MLOps
Flag this post
Loading...Loading more...